La réflexion Benthamienne sur les mathématiques

[Réflexion sur la médecine familiale].

Dernièrement, j’ai assisté à une séance dans le cadre du 24e Cours annuel de médecine en régions rurales et éloignées présenté par la Société de la Médecine Rurale du Canada, à Charlevoix (Québec), où le Dr Louis Francescutti a éloquemment présenté une plénière sur la prestation de soins palliatifs de haute qualité aux patients. Lors de la séance, il a lancé aux participants le défi de réfléchi...

Les mathématiques de la langue : l'approche formelle de Montague

Nous présentons une méthode de modélisation de la langue naturelle qui est fortement basée sur les mathématiques. Cette méthode, appelée «sémantique formelle», a été initiée par le linguiste américain Richard M. Montague dans les années 1970. Elle utilise des outils mathématiques tels que les langages et grammaires formels, la logique du 1er ordre, la théorie de types et le λ-calcul. Nous nous ...

L’inclinaison Moyenne Des Orbites Des Comètes Sur La Figure De La Terre Et Sur Les Fonctions

One of the most extraordinary phenomena which the system of the world offers to us is the movement of the planets and of their satellites in the same sense and very nearly in the same plane; if we picture to ourselves in fact all these stars describing from west to east some nearly circular orbits and very little inclined to the ecliptic, while the comets seem to be moved indifferently in every...

Impliquer les citoyens et les patients dans la recherche sur la santé: l'expérience comme mode d'apprentissage

Entretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement

Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseigne...